More from this Author

Testing Techniques in Software Engineering

by Paulo Borba (Editor), Ana Cavalcanti (Editor), Augusto Sampaio (Editor), Jim Woodcook (Editor)

FM'99 - Formal Methods

by Jeannette M. Wing (Editor), Jim Woodcook (Editor), Jim Davies (Editor)